Top 10k strings from Micro Prolog (1983)(Sinclair Research).tzx in <root> / bin / z80 / software / Sinclair Spectrum Collection TOSEC.exe / Sinclair ZX Spectrum - Utilities & Educational / Sinclair ZX Spectrum - Utilities & Educational - [TZX] (TOSEC-v2007-01-01) /
Back to the directory listing
5 (("?ERROR?" 2 (X|Y))
5 (Parse-of-ConjC (:) x Z)
4 (told X))
4 (P "error&")
4 (KILL X)
4 (CL ((data-rel X)))
3 ((cedit X)
3 ((cedit X Y)
3 ((answer X Y)
3 ((P-code X " "))
3 (("?ERROR?" X (Y|Z))
3 (response x)
3 (gedit X Y /*))
3 (cedit X Y))
3 (Parse-of-ConjC (?) Y (?|X))
3 (PP No (more) answers))
3 (P Evaluation error X : x)
3 (P "error&(? for info)")
3 (NOT VAR X)
3 (Expression-Parse X Y Z)
2 ((spying X Y)
2 ((showex X Y))
2 ((respond tell (X|Y))
2 ((respond q X)
2 ((respond c X)
2 ((respond X (Y|Z))
2 ((respond / X)
2 ((match (X|Y))
2 ((list all)
2 ((less ~ X))
2 ((kill all)
2 ((is-trace X)
2 ((gedit X Y Z)
2 ((function X)
2 ((edit X Y)
2 ((delete X)
2 ((delete X Y)
2 ((accept X)
2 ((Whichex X Y)
2 ((Rev-body (X|Y) (Z|x) Z)
2 ((Rev-body () () X))
2 ((P-code 5 "File error"))
2 ((P-code 22 "Illegal colour"))
2 ((P-code 13 "Line or point off screen"))
2 ((P-code 12 "Illegal use of modules"))
2 ((P-code 11 "Break !"))
2 ((P-code 1 "Arithmetic underflow"))
2 ((P-code 0 "Arithmetic overflow"))
2 ((E-code 6 "CLOSE last used file first"))
2 ((E-code 15 "Break ! during tape read or write"))
2 ((COPYWRITE LPA LTD 1983 (V 6 -15)))
2 ((COPYRIGHT 1983 LPA LTD (V 6 -7)))
2 ((COPYRIGHT 1983 LPA LTD (V 5 -29)))
2 ((COPYRIGHT 1983 LPA LTD (V 29 -1))
2 ((Acceptin X)
2 ((APPEND (X|Y) Z (X|x))
2 (("?REV-P?" (X|Y) Z)
2 (("?LIST-PRED?" X))
2 (("?LIST-PRED?" X)
2 (("?ERROR?" X Y)
2 (("?ERROR?" 4 (ADDCL ((X|Y)|Z)|x))
2 (("?EQNTEST?" X)
2 (("?DECLARE?" ((X|Y)|Z))
2 (("?DECL?" X Y)
2 (upgoal Z)
2 (showex Y x))
2 (response Z)
2 (respond x (Y|Z)))
2 (respond Z (X|Y)))
2 (match Y))
2 (edit X Y))
2 (delete X Y))
2 (answer X Y))
2 (add X Y))
2 (add 32767 X))
2 (SUM x 1 X)
2 (SUM 1 X2 X1)
2 (Rev-body Y y "and@M "))
2 (Rev-body Y x "if@M "))
2 (Parse-of-SS X Z x)
2 (Parse-of-S Z1 Y1)
2 (Parse-of-S Z Y)
2 (Parse-of-S Z (X|Y))
2 (Parse-of-S ((X|x)|y) z)
2 (Parse-of-Cond X (Z|x) y)
2 (PP trying : X Y)
2 (PP to quit enter : q)
2 (PP or enter : tell (see manual))
2 (PP Z matches sentence y)
2 (PP No definition for X)
2 (PP Module X deleted))
2 (PP Definition for X deleted))
2 (P-code X x)
2 (P-code X Z)
2 (P Entire program "?(yes/no)")
2 (P " ? ")
2 (OR ((PP Z : X Y)) ((PP Z backtracking on X Y) (reset Z) FAIL))
2 (OR ((DELCL Z)) ((PP No sentence (X|Y)))))
2 (OR ((CL ((dict X)))) ((ON X (dict func))))
2 (OPMOD X)
2 (NOT SYS (x1|y1))
2 (NOT LST X)
2 (NOT EQ x ((spypoints on) (/)|z))
2 (LESS 0 X)
2 (KILL ALL)
2 (INT X1)
2 (IF (EQ x1 X) () ((PP relation changed to x1) ("?DECLARE?" Z1))))
2 (FORALL ((ON Z X)) ((draw Z)))
2 (EQ X yes)
2 (ENTER X x Z))
2 (DELCL ((dict X)))
2 (CL ((dict X)))
2 (CL ((X|x)|y) Y Y)
2 (CL ((X|Y)|x) 1 y)
2 (CL ((X|Y)|Z))
2 (Acceptin X))
2 (APPEND x ((PP Z solved : X Y)) X1)
2 (ADDCL Z1 X2)
2 (ADDCL Z x)
2 (ABORT))
2 ("FIND:" X Y Z show)
2 ("?REV-P?" ((X|Y)|Z) x)
2 ("?LIST-PRED?" X))
2 ("?EQNTEST?" Z)
2 ("?DECLARE?" Z))
2 ("?DECL?" X func))
2 ("?DECL?" X dict))
2 ("?DECL?" X dict)
2 ("?CEQ?" X Y not)
1 told-mod(is-told)(yes no just ans)
1 spytrace-mod(spy unspy spying)(spypoints on off)
1 spypoints)
1 simtrace-mod(is-trace all-trace)("y" n s f Parse-of-ConjC APPEND Parse-of-SS : "FIND:" Parse-of-Cond dict q #)
1 simshow-mod(show draw)("FIND:" : picture ON Parse-of-ConjC)
1 se-of-S Parse-of-SS Parse-of-Cond CON ON APPEND which : Expression-Parse dict func end yes all =)
1 rmess-mod("?ERROR?")(data-rel)
1 ram deleted))
1 r / "<any command>" (eg / add "<clause>" ,/ LOAD file))
1 query-mod("FIND:" APPEND CONS ON Parse-of-S Parse-of-ConjC Parse-of-SS Parse-of-Cond Parse-of-CC # @ + "-" ~ * % defined true-of reserved save load not forall isall = all is one which)(Expression-Parse end dict func & and if then either or :)
1 program-mod(add delete list kill edit cedit function accept "?REV-P?")(Parse-of-S Parse-of-SS Parse-of-Cond CON ON APPEND which : Expression-Parse dict func end yes all =)
1 program-mod(add delete list kill edit cedit function accept "?REV-P?")(Par
1 picture
1 pcode x7
1 l colour"))
1 gedit X Y DELCL))
1 exptran-mod(: Expression-Parse)(@ # + "-" ~ * % APPEND CONS func & and yes rel-form)
1 ete (X|Y))
1 errtrap-mod("?ERROR?")(q e s f c is-told tell data-rel)
1 ect (Parse-of-ConjC (?) y (?|z)) (PP trying to solve its negation :|z)) (IF (?? (1|X) y ()) ((PP negation of X solved so ..) FAIL) ((PP negation of X failed so ..)))) ((FORALL Y Z))))
1 deftrap-mod("?ERROR?")(q c is-told add if tell data-rel)
1 ast used file first"))
1 arse-of-ConjC (?) x (?|z)) (PP finding all Z such that :|z)) (isall X Y Z|x)) ((ISALL Y Z|x))))
1 aNo Space left
1 Y for X))))
1 TOLD 03
1 TOLD 02
1 TOLD 01
1 TIMES Z Y X))
1 TER X s Y)
1 SPYTRACE04
1 SPYTRACE03
1 SPYTRACE02
1 SPYTRACE01
1 SIMTRACE13
1 SIMTRACE12
1 SIMTRACE11
1 SIMTRACE10
1 SIMTRACE09
1 SIMTRACE08
1 SIMTRACE07
1 SIMTRACE06
1 SIMTRACE05
1 SIMTRACE04
1 SIMTRACE03
1 SIMTRACE02
1 SIMTRACE01
1 SIMSHOW 02
1 SIMSHOW 01
1 SIMPLE 26
1 SIMPLE 25
1 SIMPLE 24
1 SIMPLE 23
1 SIMPLE 22
1 SIMPLE 21
1 SIMPLE 20
1 SIMPLE 19
1 SIMPLE 18
1 SIMPLE 17
1 SIMPLE 16
1 SIMPLE 15
1 SIMPLE 14
1 SIMPLE 13
1 SIMPLE 12
1 SIMPLE 11
1 SIMPLE 10
1 SIMPLE 09
1 SIMPLE 08
1 SIMPLE 07
1 SIMPLE 06
1 SIMPLE 05
1 SIMPLE 04
1 SIMPLE 03
1 SIMPLE 02
1 SIMPLE 01
1 RROR?" 2 (X|Y))
1 READ ERROR
1 R ((PP X either branch) (?? (1|X) Y y)|y) ((PP X or branch) (?? (1|X) Z y)))) ((OR Y Z))))
1 R ((DELCL ((func X)))) ())
1 PROLOG
1 PROGRAM 08
1 PROGRAM 07
1 PROGRAM 06
1 PROGRAM 05
1 PROGRAM 04
1 PROGRAM 03
1 PROGRAM 02
1 PROGRAM 01
1 PEND Y Z x))
1 L ((count Z)))
1 GHT 1983 LPA LTD (V 13 -4)))
1 FILL (Y z) X1)
1 EXPTRAN 06
1 EXPTRAN 05
1 EXPTRAN 04
1 EXPTRAN 03
1 EXPTRAN 02
1 EXPTRAN 01
1 ERRTRAP 06
1 ERRTRAP 05
1 ERRTRAP 04
1 ERRTRAP 03
1 ERRTRAP 02
1 ERRTRAP 01
1 EQ x "y") ((PP evaluating expressions using relations ..) (?? (1|X) Z y) / (Parse-of-SS Y z ()) (PP evaluating X :|z) (IF (SYS Y) (Y) ((ENTER X "y" Y)))) ((# Y Z))))
1 Dictionary full
1 DEFTRAP 06
1 DEFTRAP 05
1 DEFTRAP 04
1 DEFTRAP 03
1 DEFTRAP 02
1 DEFTRAP 01
1 Created with Ramsoft MakeTZX
1 ?? (1) Y ()) ((PP Yes)) ((PP No))))
1 11 "Break !"))
1 .)))) ((NOT ? Y))))
1 ((whichex X Y)
1 ((whichex X
1 ((which X)
1 ((upgoal X)
1 ((update X Y)
1 ((unspy X)
1 ((true-of X Y)
1 ((test X Y)
1 ((test X (Y|Z))
1 ((test X (OR Y Z))
1 ((test X (NOT|Y))
1 ((test X (NOT ? Y))
1 ((test X (ISALL Y Z|x))
1 ((test X (FORALL Y Z))
1 ((test X (# Y Z))
1 ((sysop ~))
1 ((sysop /))
1 ((sysop +))
1 ((sysop *))
1 ((sysop %))
1 ((sysop "-"))
1 ((symbval ()))
1 ((symbval ((X|Y)|Z))
1 ((spying on)
1 ((spying off)
1 ((showex X Y)
1 ((response X)
1 ((respond s X
1 ((respond f X)
1 ((respond e X)
1 ((reset X)
1 ((reserved (dict func data-rel|X))
1 ((name ~ "-")
1 ((name X X))
1 ((name / %)
1 ((match ())
1 ((match ((X|Y)|Z))
1 ((less + X))
1 ((less "-" X))
1 ((isall X Y Z|x)
1 ((is-told|X)
1 ((is-told X)
1 ((is-body X (Y|Z) (x|y) z X1)
1 ((is-body X () (Y|Z) (Y) (Y|Z))
1 ((is-body X () () Y ())
1 ((is-body (X) () (X) Y ())
1 ((init X Y)
1 ((goal 0))
1 ((fn1 APPEND))
1 ((find X (Y|Z) (Y|x) y)
1 ((find X (Y|Z) () (Y|Z))
1 ((find X () () ())
1 ((effect|X))
1 ((effect|X)
1 ((draw (X|Y))
1 ((delete (X|Y))
1 ((defined X)
1 ((count 1))
1 ((answer X yes)
1 ((answer X no)
1 ((answer X just)
1 ((answer X ans)
1 ((all-trace X)
1 ((add X Y)
1 ((Zip X X Y Y)
1 ((Zip (X|Y) (Z|x) y z)
1 ((Zip () () X X)
1 ((X|Y))) (Acceptin X)) ((OR ((EQ Y end)) ((P " " Y not a list) (PP) (Acceptin X))))))
1 ((X-parse X Y Z x)
1 ((X-parse X X Y Y)
1 ((X-parse (X|Y) Z x y)
1 ((X-parse (X Y Z) x y z)
1 ((X-parse (X Y Z) x ((CONS y z x)|X1) Y1)
1 ((X-parse (X Y Z x|y) z
1 ((Parse-of-SS X Y Z)
1 ((Parse-of-SS X Y Y)
1 ((Parse-of-SS (X|Y) (X Y|Z) Z)
1 ((Parse-of-SS (X|Y) (X Y
1 ((Parse-of-SS (X) (X|Y) Y)
1 ((Parse-of-SS (X Y) (Y X|Z) Z)
1 ((Parse-of-SS (X Y Z) (Y X Z|x) x)
1 ((Parse-of-S (X|Y) Z)
1 ((Parse-of-ConjC X Y Z)
1 ((Parse-of-Cond X Y Z)
1 ((Parse-of-Cond
1 ((Parse-of-CC (OR X Y) ((Z|x)|y) y)
1 ((Parse-of-CC (NOT|X) (Y Z|x) y)
1 ((Parse-of-CC (NOT ? X) (Y (Z|x)|y) y)
1 ((Parse-of-CC (ISALL X Y|Z) (X x y|z) z)
1 ((Parse-of-CC (FORALL X Y) ((Z|x)|y) y)
1 ((Parse-of-CC (# (X|Y) Z) (x y z|X1) X1)
1 ((Parse-of-CC (# (X|Y) Z) (X x y|z) z)
1 ((Parse-of-CC (# (EQ X Y) Z) (x y z|X1) X
1 ((Parse-of-CC (!|X) (Y Z|x) y)
1 ((P-code 9 "Write error"))
1 ((P-code 4 "Error in adding clause"))
1 ((P-code 3 "Too many variables"))
1 ((P-code 3 "Too many variables or invalid form"))
1 ((P-code 2 "No clauses for relation"))
1 ((Oneex|X)
1 ((Oneex X Y)
1 ((ON X (Y|Z))
1 ((ON X (X|Y)))
1 ((Mem1 X Y)
1 ((Expression-Parse X Y Z)
1 ((Expression-Parse X X Y)
1 ((ENTER X q Y)
1 ((ENTER X n Y)
1 ((ENTER X f Y)
1 ((ENTER X Y Z)
1 ((ENTER X "y" (Y|Z))
1 ((E-code X " "))
1 ((E-code 6 "CLOSE l
1 ((E-code 5 "File error"))
1 ((E-code 3 "Too many variables"))
1 ((E-code 22 "Invalid colour"))
1 ((E-code 2 "No definition for relation"))
1 ((E-code 15 "Break ! during tape read or wr
1 ((E-code 13 "Line or point off screen"))
1 ((E-code 12 "Illegal use of modules"))
1 ((E-code 1 "Arithmetic underflow"))
1 ((E-code 0 "Arithmetic overflow"))
1 ((COPYRIGHT 1983 LPA LTD (V 6 -15)))
1 ((COPYRIGHT 1983 LPA LTD (V 6
1 ((CONS X Y (X|Y)))
1 ((APPEND () X X))
1 ((APPEND () X X)
1 ((?? X (Y|Z) x)
1 ((?? X () ()))
1 ((?? X ((? Y)) ())
1 ((?? X ((/)|Y) (/ FAIL))
1 ((?? (X|Y) (Z|x) y)
1 ((+ X Y Z)
1 ((* X Y Z)
1 ((% X Y Z)
1 (("FIND:" X Y Z x)
1 (("FIND:" (X Y|Z) X (:|Z) isall)
1 (("?CEQ?" X Y Z)
1 (("-" X Y Z)
1 %BLOCK OK
1 " match succeeds: ") (PP|X1)) ((P " match fails") (PP) FAIL))
1 trying : Y Z)
1 Y ignored "-" enter : yes / no / ans .. / just ..)
1 LPA Ltd 1983 "
1 (Zip Y z x ((X|X1)|y))
1 (ADDCL ((spypoints off))))
1 ((Y X))))))
1 ("?CEQ?" X Z forall)
1 (whichex Y x))
1 (which X))
1 (test (X|Y) Z)
1 (sysop X))
1 (symbval Z))
1 (symbval Y)
1 (response y)
1 (respond x Y))
1 (respond x X))
1 (respond x
1 (picture X)
1 (name Y Z1)
1 (match Z))
1 (match X))
1 (match (X|Y))
1 (is-body X Y Z () ()))
1 (is-body (then) Y z () X1)
1 (is-body (or) Y z () X1)
1 (is-body (if) Y y () z))
1 (is-body (forall) X (Z|x) (then) z)
1 (is-body (either) X (Z|x) (or) z)
1 (is-body (and &) Z Z1 z X1))
1 (is-body (?) X (? Z|x) () z)
1 (is-body (:) Z X1 () Y1)
1 (init y ())
1 (gedit X Y DELCL))
1 (gedit X
1 (fn1 X))
1 (find X Z x y))
1 (find (:) X Y Z)
1 (effect (Parse-of-Cond Z z ()) (P (X|Y)
1 (effect (NOT EQ y ()) (Parse-of-ConjC (?) y (?|x1)) (PP new query :|x1))
1 (defined Expression-Parse))
1 (add (X Z if (X Z) is-told))
1 (Zip Y x X1 z))
1 (Zip X Y Z x))
1 (Zip (Y Z) (y z) X1 Y1))
1 (X-parse Z x1 Y1 ((Z1 X1 x1 x)|z))
1 (X-parse X Z y X1)
1 (X-parse X Y Z ())
1 (X-parse X X1 y Y1)
1 (Whichex Y x))
1 (TIMES X Y Z))
1 (SUM Y Z X))
1 (SUM X Y Z))
1 (SUM X 1 y1)
1 (SUM X 1 Z)
1 (SUM X 1 Y)
1 (SAVE X))
1 (RFILL (ready) Y)
1 (RFILL (Y z) X1)
1 (RFILL (X) Y)
1 (Parse-of-SS X Z y)
1 (Parse-of-SS X Y Z))
1 (Parse-of-SS (Y|x) Y1 ())
1 (Parse-of-SS (Y|Z) X1 ())
1 (Parse-of-SS (X|Y) x ())
1 (Parse-of-ConjC (?) Z (?|z)))
1 (Parse-of-Cond Y y Z1)
1 (Parse-of-Cond Y y ())
1 (Parse-of-Cond X x y)
1 (Parse-of-Co
1 (Parse-of-CC X Y Z)
1 (PP trying Y)
1 (PP trying : Y Z)
1 (PP to succeed call enter : s)
1 (PP to resume enter : c)
1 (PP to line edit call and resume enter : e)
1 (PP to fail call enter : f)
1 (PP to continue enter : c)
1 (PP redundant & or and)
1 (PP X failing :|y)
1 (PP X assumed not to be function name)
1 (PP Start tape for recording)
1 (PP Hit ENTER key when)
1 (PP Entire program deleted))
1 (PP Entire prog
1 (PP Cannot add senten
1 (PP (X|Y) solved :|z)
1 (P or enter : / "<any command>" (eg / add (sentence) , / load file))
1 (P or ente
1 (P Y ignored "-" enter : yes / no / ans .. / just ..)
1 (P Error X Z)
1 (P ENTER "y" n s (to succeed) f (to fail) or q (to quit))
1 (P "more?(y/n)")
1 (P "Syntax error: ")
1 (P "Cannot add sentences to" X)
1 (P " trace?(y/n) ")
1 (P " trace?")
1 (Oneex Y x))
1 (OR () ((PP retrying X) FAIL)))
1 (OR () ((PP retrying X) FAIL))
1 (OR () ((NOT SYS Y) (PP retrying X) FAIL)))
1 (OR ((VAR Z)) ((NOT VAR Y)))
1 (OR ((VAR Z) /) ((NOT ON Z (either forall))))
1 (OR ((VAR X) / (NOT VAR Y) (EQ Y Z)) ((EQ Y Z))))
1 (OR ((LST Y) (ADDCL ((X|Y))) (Acceptin X)) ((OR ((EQ Y end)) ((P " " Y not a list) (PP) (Acceptin X))))))
1 (OR ((LST Y) (ADDCL
1 (OR ((EQ Z (:|y)) /) ((P "Syntax error: ") (PP missing colon in) (PP X) ABORT)))
1 (OR ((EQ X1 #) / (EQ Y1 (Z1 x1)) (Parse-of-Cond Z1 z ())) ((Parse-of-Cond Z z ())))
1 (OR ((DELCL ((func X)))) ())
1 (OR ((CL ((Y X))) /) ((ADDCL ((Y X))))))
1 (OR ((CL ((Y X))) /) ((ADDCL
1 (ON x X)
1 (ON X Z))
1 (ON X Y)
1 (NOT EQ Y ans)
1 (NOT CL ((rel-form)))
1 (Mem1 Y X)
1 (LOAD X))
1 (KILL spypoints)
1 (IF (sysop X) ((EQ x (z X1)) (EQ y (z X X1))) ((EQ y (X|x))))
1 (IF (less Y x) ((X-parse (X Y (Z x|y)) z X1 Y1)) ((X-parse ((X Y Z) x|y) z X1 Y1))))
1 (IF (VAR Z) () ((find (if) Z x y)))
1 (IF (VAR Z) ((find (and &|z) y Y1 Z1)) ())
1 (IF (VAR X) ((find x Y y Z) (P "Syntax error: ") (PP|y) (PP not a valid sentence form) ABORT) (FAIL)))
1 (IF (EQ y "y") ((effect (P
1 (IF (EQ x "y") ((O
1 (IF (EQ x "y") ((APPEND Y ((NOT ? Z)) y) (eff
1 (IF (EQ Z x) ((P
1 (IF (EQ Z ()) ((P|X) (PP) (PP backtracking ..) FAIL) ((PP No (more) answers))))
1 (IF (EQ Z "y") (FAIL) ()))
1 (IF (EQ Z "y") ((PP X unnegated) (IF (?? (1|X) Y ()) ((PP unnegated X solved so ..) FAIL) ((PP unnegated X failed so .
1 (IF (EQ Z "y") ((PP X unnegated) (IF (?? (1|X) (Y) ()) ((PP unnegated X solved so ..) FAIL) ((PP unnegated X failed so ..)))) ((NOT|Y))))
1 (IF (DELCL X Y) () ((PP No sentence Y for X))))
1 (IF (DELCL X Y) () ((PP No sentence
1 (IF (? Y) ((PP YES)) ((PP NO))))
1 (FORALL ((ON Z (X|Y))) ((draw Z))))
1 (FORALL ((CL ((dict X)))) (("?LIST-PRED?" X))))
1 (FORALL ((CL ((dict X)))) (("?LIST-PRED?" X)
1 (FORALL ((?? (1|X) x z)|z) ((PP found answer Z to X) (update y Z)))
1 (Expression-Parse y Y Z)
1 (Expression-Parse (x z) (X Y) Z)
1 (EQ Z1 ((x1|y1)|z1))
1 (EQ Z1 ((x1|y1)|
1 (EQ Z (X1|Y1))
1 (EQ Y :)
1 (EQ X CONS)
1 (ENTER X x (Y|Z)))
1 (E-code X x)
1 (DICT Y Z X|x))
1 (DELCL ((value y Y))))
1 (DELCL ((value X Z)))
1 (DELCL ((goal Y)))
1 (DELCL ((goal X)))
1 (DELCL ((count X)))
1 (DELCL ((X|Y) (spypoints on) (/) (spying X Y))))
1 (CL ((func X))))
1 (CL ((dict Y)))
1 (CL ((Y|x)|y) 1 z)
1 (CL ((X|Y)|Z)))
1 (APPEND z (Z) X1))
1 (APPEND x (y)
1 (APPEND Y Z x))
1 (APPEND (matching X :|X1) (with head of z :|Y1) Z1)
1 (ADDCL ((value X Y))))
1 (ADDCL ((value X (Y|Z)))))
1 (ADDCL ((spypoints on))))
1 (ADDCL ((spypoints off))))
1 (ADDCL ((goal Y))))
1 (ADDCL ((goal X))))
1 (ADDCL ((X|Z) (is-told (X Z))))
1 (ADDCL ((X|Y) (spypoints on) (/) (spying X Y)) 0))
1 (?? X Y Z))
1 (?? (y1|Y) x y))
1 (?? (1|X) y y1)|y1)
1 (?? (1) Y Z)
1 ("FIND:" y Y X1 isall)
1 ("FIND:" X Y Z which-trace)
1 ("FIND:" X Y Z which)
1 ("FIND:" X Y Z one)
1 ("?CEQ?" Z y =)
1 ("?CEQ?" Z y #)
1 ("?CEQ?" Z x isall)
1 ("?CEQ?" Z x #)
1 ("?CEQ?" X Z either)
1 ("?CEQ?" X Y !)
1